nondiscrete valuation

非离散赋值